first order logic questions